nth\_tl($n$;${\it as}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $n$ $\leq$z 0 then ${\it as}$ else nth\_tl($n$ {-} 1;tl(${\it as}$)) fi   \emph{(recursive)}